// ========================================================================= //

// includes
#include "stdio.h"
#include "stdlib.h"
#include "time.h"
#include "string.h"
#include "limits.h"
#include "float.h"



#define JOTAI_NUM_RANDS_ 25

const unsigned rand_primes[JOTAI_NUM_RANDS_] = {179, 103, 479, 647, 229, 37, 271, 557, 263, 607, 18743, 50359, 21929, 48757, 98179, 12907, 52937, 64579, 49957, 52567, 507163, 149939, 412157, 680861, 757751};

int next_i() {
  int counter = 0;
  return rand_primes[(++counter)%JOTAI_NUM_RANDS_];
}

float next_f() {
  int counter = 0;
  return rand_primes[(++counter)%JOTAI_NUM_RANDS_] / 757751.0F;
} 


// Usage menu
void usage() {
    printf("%s", "Usage:\n\
    prog [ARGS]\n\
\nARGS:\n\
       0            int-bounds\n\
       1            big-arr\n\
       2            big-arr-10x\n\
       3            empty\n\
\n\
");

}


// ------------------------------------------------------------------------- //

#define NULL ((void*)0)
typedef unsigned long size_t;  // Customize by platform.
typedef long intptr_t; typedef unsigned long uintptr_t;
typedef long scalar_t__;  // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef  scalar_t__ u8 ;
typedef  scalar_t__ u32 ;

/* Variables and functions */
 scalar_t__ CRC32_POLY ; 

__attribute__((used)) static u32 qed_calc_crc32c(u8 *crc32_packet,
			   u32 crc32_length, u32 crc32_seed, u8 complement)
{
	u32 byte = 0, bit = 0, crc32_result = crc32_seed;
	u8 msb = 0, current_byte = 0;

	if ((!crc32_packet) ||
	    (crc32_length == 0) ||
	    ((crc32_length % 8) != 0))
		return crc32_result;
	for (byte = 0; byte < crc32_length; byte++) {
		current_byte = crc32_packet[byte];
		for (bit = 0; bit < 8; bit++) {
			msb = (u8)(crc32_result >> 31);
			crc32_result = crc32_result << 1;
			if (msb != (0x1 & (current_byte >> bit))) {
				crc32_result = crc32_result ^ CRC32_POLY;
				crc32_result |= 1; /*crc32_result[0] = 1;*/
			}
		}
	}
	return crc32_result;
}

// ------------------------------------------------------------------------- //

int main(int argc, char *argv[]) {

    if (argc != 2) {
        usage();
        return 1;
    }

    int opt = atoi(argv[1]);
    switch(opt) {


    // int-bounds
    case 0:
    {
          // static_instructions_O0 : 28
          // dynamic_instructions_O0 : 28
          // ------------------------------- 
          // static_instructions_O1 : 15
          // dynamic_instructions_O1 : 15
          // ------------------------------- 
          // static_instructions_O2 : 13
          // dynamic_instructions_O2 : 13
          // ------------------------------- 
          // static_instructions_O3 : 13
          // dynamic_instructions_O3 : 13
          // ------------------------------- 
          // static_instructions_Ofast : 13
          // dynamic_instructions_Ofast : 13
          // ------------------------------- 
          // static_instructions_Os : 15
          // dynamic_instructions_Os : 15
          // ------------------------------- 
          // static_instructions_Oz : 10
          // dynamic_instructions_Oz : 10
          // ------------------------------- 

          long crc32_length = 100;
        
          long crc32_seed = 100;
        
          long complement = 100;
        
          int _len_crc32_packet0 = 1;
          long * crc32_packet = (long *) malloc(_len_crc32_packet0*sizeof(long));
          for(int _i0 = 0; _i0 < _len_crc32_packet0; _i0++) {
            crc32_packet[_i0] = ((-2 * (next_i()%2)) + 1) * next_i();
          }
        
          long benchRet = qed_calc_crc32c(crc32_packet,crc32_length,crc32_seed,complement);
          printf("%ld\n", benchRet); 
          free(crc32_packet);
        
        break;
    }


    // big-arr
    case 1:
    {
          // static_instructions_O0 : 28
          // dynamic_instructions_O0 : 28
          // ------------------------------- 
          // static_instructions_O1 : 15
          // dynamic_instructions_O1 : 15
          // ------------------------------- 
          // static_instructions_O2 : 13
          // dynamic_instructions_O2 : 13
          // ------------------------------- 
          // static_instructions_O3 : 13
          // dynamic_instructions_O3 : 13
          // ------------------------------- 
          // static_instructions_Ofast : 13
          // dynamic_instructions_Ofast : 13
          // ------------------------------- 
          // static_instructions_Os : 15
          // dynamic_instructions_Os : 15
          // ------------------------------- 
          // static_instructions_Oz : 10
          // dynamic_instructions_Oz : 10
          // ------------------------------- 

          long crc32_length = 255;
        
          long crc32_seed = 255;
        
          long complement = 255;
        
          int _len_crc32_packet0 = 65025;
          long * crc32_packet = (long *) malloc(_len_crc32_packet0*sizeof(long));
          for(int _i0 = 0; _i0 < _len_crc32_packet0; _i0++) {
            crc32_packet[_i0] = ((-2 * (next_i()%2)) + 1) * next_i();
          }
        
          long benchRet = qed_calc_crc32c(crc32_packet,crc32_length,crc32_seed,complement);
          printf("%ld\n", benchRet); 
          free(crc32_packet);
        
        break;
    }


    // big-arr-10x
    case 2:
    {
          // static_instructions_O0 : 28
          // dynamic_instructions_O0 : 28
          // ------------------------------- 
          // static_instructions_O1 : 15
          // dynamic_instructions_O1 : 15
          // ------------------------------- 
          // static_instructions_O2 : 13
          // dynamic_instructions_O2 : 13
          // ------------------------------- 
          // static_instructions_O3 : 13
          // dynamic_instructions_O3 : 13
          // ------------------------------- 
          // static_instructions_Ofast : 13
          // dynamic_instructions_Ofast : 13
          // ------------------------------- 
          // static_instructions_Os : 15
          // dynamic_instructions_Os : 15
          // ------------------------------- 
          // static_instructions_Oz : 10
          // dynamic_instructions_Oz : 10
          // ------------------------------- 

          long crc32_length = 10;
        
          long crc32_seed = 10;
        
          long complement = 10;
        
          int _len_crc32_packet0 = 100;
          long * crc32_packet = (long *) malloc(_len_crc32_packet0*sizeof(long));
          for(int _i0 = 0; _i0 < _len_crc32_packet0; _i0++) {
            crc32_packet[_i0] = ((-2 * (next_i()%2)) + 1) * next_i();
          }
        
          long benchRet = qed_calc_crc32c(crc32_packet,crc32_length,crc32_seed,complement);
          printf("%ld\n", benchRet); 
          free(crc32_packet);
        
        break;
    }


    // empty
    case 3:
    {
          // static_instructions_O0 : 28
          // dynamic_instructions_O0 : 28
          // ------------------------------- 
          // static_instructions_O1 : 15
          // dynamic_instructions_O1 : 15
          // ------------------------------- 
          // static_instructions_O2 : 13
          // dynamic_instructions_O2 : 13
          // ------------------------------- 
          // static_instructions_O3 : 13
          // dynamic_instructions_O3 : 13
          // ------------------------------- 
          // static_instructions_Ofast : 13
          // dynamic_instructions_Ofast : 13
          // ------------------------------- 
          // static_instructions_Os : 15
          // dynamic_instructions_Os : 15
          // ------------------------------- 
          // static_instructions_Oz : 10
          // dynamic_instructions_Oz : 10
          // ------------------------------- 

          long crc32_length = ((-2 * (next_i()%2)) + 1) * next_i();
        
          long crc32_seed = ((-2 * (next_i()%2)) + 1) * next_i();
        
          long complement = ((-2 * (next_i()%2)) + 1) * next_i();
        
          int _len_crc32_packet0 = 1;
          long * crc32_packet = (long *) malloc(_len_crc32_packet0*sizeof(long));
          for(int _i0 = 0; _i0 < _len_crc32_packet0; _i0++) {
            crc32_packet[_i0] = ((-2 * (next_i()%2)) + 1) * next_i();
          }
        
          long benchRet = qed_calc_crc32c(crc32_packet,crc32_length,crc32_seed,complement);
          printf("%ld\n", benchRet); 
          free(crc32_packet);
        
        break;
    }

    default:
        usage();
        break;

    }

    return 0;
}
